Operação Lava Jato
نویسندگان
چکیده
Resenha de RODRIGUES, Fabiana Alves. Lava Jato: aprendizado institucional e ação estratégica na Justiça. São Paulo: Editora WMF Martins Fontes, 2020. 280 p.
منابع مشابه
JATO : Slicing Java Programs
Program slicing can be ffectively used to debug, test, analyze, understand and maintain object-oriented software. In this paper, a new slicing model is proposed to slice Java programs based on their inherent hierarchical feature. The main idea of hierarchical slicing is to slice programs in stepwise way, from package level, to class level, method level, and finally up to st atement level. Stepw...
متن کاملJATO: Slicing Java Programs Hierarchically
Program slicing can be effectively used to debug, test, analyze, understand and maintain object-oriented software. In this paper, a new slicing model is proposed to slice Java programs based on their inherent hierarchical feature. The main idea of hierarchical slicing is to slice programs in stepwise way, from package level, to class level, method level, and finally up to statement level. Stepw...
متن کاملJATO: Native Code Atomicity for Java
Atomicity enforcement in a multi-threaded application can be critical to the application’s safety. In this paper, we take the challenge of enforcing atomicity in a multilingual application, which is developed in multiple programming languages. Specifically, we describe the design and implementation of JATO, which enforces the atomicity of a native method when a Java application invokes the nati...
متن کاملIntroducing Kansas Lava
Kansas Lava is a domain specific language for hardware description. Though there have been a number of previous implementations of Lava, we have found the design space rich, with unexplored choices. We use a direct (Chalmers style) specification of circuits, and make significant use of Haskell overloading of standard classes, leading to concise circuit descriptions. Kansas Lava supports both si...
متن کاملAnimating Lava Flows
Animating lava flowing down the slopes of a volcano brings several challenges: modeling the mechanical features of lava and how they evolve over time depending on temperature; computing, in a reasonable time, the interactions inside the flow, and between the flow and a complex terrain data-base; and lastly, rendering the visual aspect of the flow. The methods described rely on smoothed particle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Ciências Sociais
سال: 2022
ISSN: ['0041-8862', '2318-4620']
DOI: https://doi.org/10.36517/rcs.53.2.r01